Pitch Multiplication (2017)
🎼Audio Lambda Calculus
Flag this post
OSS interview-prep repo for AI, agent architectures and tool-calling
🌐Protocol Synthesis
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·9h
λLambda Encodings
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
AI Wins and Losses
dowski.com·1d
🔄Language Evolution
Flag this post
Beyond the Hype: How to Use AI to Actually Increase Your Productivity as a Dev
docker.com·1d
⚡Proof Automation
Flag this post
exploits.club Weekly(ish) Newsletter 92 - S23 N-Day PoCs, Printer Overflows, DNG OOB Writes, And More
blog.exploits.club·1d
💣ZIP Vulnerabilities
Flag this post
Evolution Strategies at the Hyperscale
🔲Cellular Automata
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
🦀Rust Macros
Flag this post
Infix Versus Prefix Operators
irreal.org·14h
🧠Lisp Dialects
Flag this post
Mad drunk on the mead of poetry
blog.zarfhome.com·1d
🧪CBOR Fuzzing
Flag this post
Zig in 30 Minutes
🔗Concatenative Programming
Flag this post
[D] Looking for resources on “problem framing + operational thinking” for ML ?
🎵Audio ML
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·5h
🌀Brotli Internals
Flag this post
Loading...Loading more...